stylecontext: Use old rounding for get_padding/border/margin()
authorBenjamin Otte <otte@redhat.com>
Sat, 31 Jan 2015 01:25:18 +0000 (02:25 +0100)
committerBenjamin Otte <otte@redhat.com>
Sat, 31 Jan 2015 01:25:18 +0000 (02:25 +0100)
commitbece876f8eded4a5deee5db9b96ef52a5a61ef0a
tree27429018569156e9e7021fa3f0d9a5c117ef5870
parent3575df8ee24a4e9e7c59260d66e0e087be852e69
stylecontext: Use old rounding for get_padding/border/margin()

610f7e8f70ce165e04a4cdc3fd20b560f500b925 changed the way we query those
values for performance reasons but didn't copy the rounding used.

Fixes border-half-pixel reftest.
gtk/gtkstylecontext.c